[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 180 122 139 214 187 0 156 496

N.S.

1 1.02 0.69 0.79 1.22 1.06 0.00 0.89 2.82

time (sec)

N/A 1.013 1.718 1.691 0.209 0.286 0.000 0.449 18.117

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 195 116 127 214 187 0 156 496

N.S.

1 1.01 0.60 0.65 1.10 0.96 0.00 0.80 2.56

time (sec)

N/A 1.031 3.631 1.728 0.221 0.290 0.000 0.430 19.024

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 116 127 214 187 0 156 496

N.S.

1 1.00 0.60 0.66 1.11 0.97 0.00 0.81 2.58

time (sec)

N/A 1.034 3.464 1.676 0.211 0.310 0.000 0.569 17.881

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 178 104 115 214 187 0 156 496

N.S.

1 1.02 0.60 0.66 1.23 1.07 0.00 0.90 2.85

time (sec)

N/A 0.993 1.803 1.718 0.228 0.298 0.000 0.527 18.554

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 176 122 139 214 187 0 156 496

N.S.

1 1.02 0.71 0.81 1.24 1.09 0.00 0.91 2.88

time (sec)

N/A 0.975 1.714 1.688 0.221 0.292 0.000 0.566 17.961

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 162 116 127 214 187 0 156 496

N.S.

1 1.05 0.75 0.82 1.39 1.21 0.00 1.01 3.22

time (sec)

N/A 0.887 3.510 1.765 0.208 0.302 0.000 0.555 18.392

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 197 165 139 214 187 0 156 199

N.S.

1 0.94 0.79 0.66 1.02 0.89 0.00 0.74 0.95

time (sec)

N/A 0.366 0.834 1.760 0.219 0.300 0.000 0.650 9.561

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 233 228 146 226 222 0 169 231

N.S.

1 0.94 0.92 0.59 0.91 0.90 0.00 0.68 0.94

time (sec)

N/A 0.433 6.133 3.207 0.212 0.330 0.000 0.362 0.282

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 245 240 158 245 278 0 190 252

N.S.

1 0.94 0.92 0.60 0.94 1.06 0.00 0.73 0.96

time (sec)

N/A 0.470 6.143 2.856 0.236 0.328 0.000 0.366 0.318

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

279 259 254 166 257 331 0 202 263

N.S.

1 0.93 0.91 0.59 0.92 1.19 0.00 0.72 0.94

time (sec)

N/A 0.483 6.162 3.072 0.234 0.317 0.000 0.379 9.527

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

127 172 0 0 0 0 0 0 0

N.S.

1 1.35 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.618 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 99 88 0 0 0 0 0 0

N.S.

1 1.12 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.306 0.118 0.000 0.000 0.000 0.000 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 167 130 386 486 902 11900 1731 863

N.S.

1 0.95 0.74 2.21 2.78 5.15 68.00 9.89 4.93

time (sec)

N/A 0.412 0.433 33.090 0.240 0.369 20.293 0.427 19.596

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 134 105 262 313 545 5596 942 617

N.S.

1 0.96 0.76 1.88 2.25 3.92 40.26 6.78 4.44

time (sec)

N/A 0.379 0.234 5.304 0.221 0.341 8.476 0.360 14.234

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 99 78 166 183 294 2159 436 302

N.S.

1 0.98 0.77 1.64 1.81 2.91 21.38 4.32 2.99

time (sec)

N/A 0.337 0.265 2.301 0.216 0.298 3.317 0.340 12.406

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 66 52 55 87 116 586 147 121

N.S.

1 1.08 0.85 0.90 1.43 1.90 9.61 2.41 1.98

time (sec)

N/A 0.277 0.493 0.691 0.243 0.298 1.334 0.383 11.414

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 66 60 0 0 0 0 0 0

N.S.

1 1.10 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.286 0.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 66 61 0 0 0 0 0 0

N.S.

1 1.10 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 69 63 0 0 0 0 0 0

N.S.

1 1.10 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 157 143 429 457 744 9238 1736 1656

N.S.

1 0.92 0.84 2.52 2.69 4.38 54.34 10.21 9.74

time (sec)

N/A 0.375 0.483 8.538 0.223 0.315 14.338 0.820 17.618

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 123 113 262 294 403 4310 944 703

N.S.

1 0.92 0.85 1.97 2.21 3.03 32.41 7.10 5.29

time (sec)

N/A 0.341 0.284 3.403 0.250 0.287 6.087 0.350 14.333

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 89 83 154 171 189 1622 435 305

N.S.

1 0.93 0.86 1.60 1.78 1.97 16.90 4.53 3.18

time (sec)

N/A 0.320 0.285 1.775 0.214 0.268 2.546 0.341 11.402

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 55 51 72 83 70 428 147 99

N.S.

1 0.93 0.86 1.22 1.41 1.19 7.25 2.49 1.68

time (sec)

N/A 0.261 0.091 1.122 0.221 0.268 1.096 0.328 11.184

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 64 59 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.077 0.000 0.000 0.000 0.000 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 64 59 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.078 0.000 0.000 0.000 0.000 0.000 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 64 59 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.070 0.000 0.000 0.000 0.000 0.000 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 61 61 0 0 0 0 0 0

N.S.

1 1.13 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.256 0.063 0.000 0.000 0.000 0.000 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 121 150 206 159 197 2747 791 349

N.S.

1 0.90 1.12 1.54 1.19 1.47 20.50 5.90 2.60

time (sec)

N/A 0.301 0.972 2.224 0.219 0.280 11.031 0.426 13.293

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 98 94 127 119 140 1508 508 224

N.S.

1 0.91 0.87 1.18 1.10 1.30 13.96 4.70 2.07

time (sec)

N/A 0.290 0.409 1.267 0.227 0.281 4.787 0.375 12.517

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 73 77 95 84 93 697 287 138

N.S.

1 0.91 0.96 1.19 1.05 1.16 8.71 3.59 1.72

time (sec)

N/A 0.282 0.148 0.866 0.227 0.289 2.134 0.375 10.706

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 50 43 55 56 54 248 120 62

N.S.

1 0.93 0.80 1.02 1.04 1.00 4.59 2.22 1.15

time (sec)

N/A 0.240 0.018 0.609 0.228 0.269 0.960 0.276 9.920

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

43 43 43 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.207 0.042 0.000 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 42 42 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.225 0.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

43 43 43 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.241 0.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 80 99 72 74 72 199 83 276

N.S.

1 1.01 1.25 0.91 0.94 0.91 2.52 1.05 3.49

time (sec)

N/A 0.394 0.867 0.304 0.323 0.280 0.172 0.327 11.148

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 127 750 160 0 667 0 215 0

N.S.

1 1.03 6.10 1.30 0.00 5.42 0.00 1.75 0.00

time (sec)

N/A 0.845 3.080 0.254 0.000 0.380 0.000 0.375 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

141 145 1338 3380 0 2071 0 0 0

N.S.

1 1.03 9.49 23.97 0.00 14.69 0.00 0.00 0.00

time (sec)

N/A 1.025 15.510 0.523 0.000 0.764 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

135 135 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.433 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

119 119 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.364 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

119 119 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

117 117 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.306 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 119 229 0 0 0 0 0 0

N.S.

1 1.00 1.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.436 0.938 0.000 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

119 119 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

119 119 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

135 135 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.393 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

119 119 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.351 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

121 121 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 121 99 141 134 97 228 182 134

N.S.

1 0.90 0.74 1.05 1.00 0.72 1.70 1.36 1.00

time (sec)

N/A 0.333 0.786 0.800 0.213 0.281 0.899 0.484 0.155

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 92 75 99 104 81 178 145 102

N.S.

1 0.90 0.74 0.97 1.02 0.79 1.75 1.42 1.00

time (sec)

N/A 0.309 0.437 0.471 0.259 0.273 0.455 0.447 0.105

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 71 74 73 72 65 128 100 72

N.S.

1 0.91 0.95 0.94 0.92 0.83 1.64 1.28 0.92

time (sec)

N/A 0.283 0.433 0.320 0.215 0.261 0.217 0.492 9.487

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 53 52 44 42 48 75 52 40

N.S.

1 1.08 1.06 0.90 0.86 0.98 1.53 1.06 0.82

time (sec)

N/A 0.243 0.326 0.165 0.215 0.296 0.111 0.579 0.078

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 33 68 29 29 31 0 114 35

N.S.

1 0.97 2.00 0.85 0.85 0.91 0.00 3.35 1.03

time (sec)

N/A 0.244 0.038 0.260 0.219 0.268 0.000 0.275 0.081

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 37 82 55 90 0 84 43

N.S.

1 1.00 0.79 1.74 1.17 1.91 0.00 1.79 0.91

time (sec)

N/A 0.270 0.973 0.418 0.232 0.285 0.000 0.304 0.105

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 97 67 141 115 182 0 152 98

N.S.

1 0.97 0.67 1.41 1.15 1.82 0.00 1.52 0.98

time (sec)

N/A 0.307 0.577 0.602 0.219 0.274 0.000 0.310 9.845

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 148 104 169 171 222 0 201 155

N.S.

1 0.94 0.66 1.08 1.09 1.41 0.00 1.28 0.99

time (sec)

N/A 0.359 3.077 0.845 0.217 0.300 0.000 0.330 10.026

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 132 182 138 124 97 416 176 504

N.S.

1 0.96 1.32 1.00 0.90 0.70 3.01 1.28 3.65

time (sec)

N/A 0.569 3.289 0.763 0.222 0.296 0.664 0.351 11.397

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 106 138 118 98 81 306 133 391

N.S.

1 0.95 1.24 1.06 0.88 0.73 2.76 1.20 3.52

time (sec)

N/A 0.462 1.685 0.643 0.206 0.286 0.354 0.327 12.672

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 80 99 84 74 65 199 83 276

N.S.

1 0.95 1.18 1.00 0.88 0.77 2.37 0.99 3.29

time (sec)

N/A 0.374 0.864 0.347 0.228 0.267 0.173 0.310 11.075

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 33 44 56 73 0 36 33

N.S.

1 1.00 1.14 1.52 1.93 2.52 0.00 1.24 1.14

time (sec)

N/A 0.222 0.662 0.298 0.299 0.277 0.000 0.298 10.919

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 86 72 59 69 0 94 107

N.S.

1 1.00 1.72 1.44 1.18 1.38 0.00 1.88 2.14

time (sec)

N/A 0.310 0.455 0.397 0.210 0.282 0.000 0.306 11.292

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 65 81 102 86 112 0 225 224

N.S.

1 0.89 1.11 1.40 1.18 1.53 0.00 3.08 3.07

time (sec)

N/A 0.322 0.661 0.503 0.213 0.261 0.000 0.303 11.741

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 77 104 130 107 149 0 345 320

N.S.

1 0.80 1.08 1.35 1.11 1.55 0.00 3.59 3.33

time (sec)

N/A 0.329 3.939 0.676 0.215 0.273 0.000 0.490 14.125

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 87 131 158 126 185 0 465 416

N.S.

1 0.73 1.10 1.33 1.06 1.55 0.00 3.91 3.50

time (sec)

N/A 0.336 5.308 0.916 0.215 0.288 0.000 0.430 14.034

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 121 86 152 168 127 389 239 168

N.S.

1 0.90 0.64 1.13 1.25 0.95 2.90 1.78 1.25

time (sec)

N/A 0.370 0.808 1.076 0.213 0.308 1.315 0.642 9.739

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 95 70 126 142 109 309 202 140

N.S.

1 0.90 0.67 1.20 1.35 1.04 2.94 1.92 1.33

time (sec)

N/A 0.325 0.238 0.740 0.220 0.289 0.674 0.533 0.136

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 71 66 84 96 91 228 116 96

N.S.

1 0.91 0.85 1.08 1.23 1.17 2.92 1.49 1.23

time (sec)

N/A 0.296 0.280 0.499 0.204 0.277 0.338 0.431 10.256

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 47 49 74 68 72 117 88 66

N.S.

1 0.92 0.96 1.45 1.33 1.41 2.29 1.73 1.29

time (sec)

N/A 0.253 0.069 0.250 0.204 0.271 0.161 0.301 10.014

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 56 51 75 52 54 0 220 63

N.S.

1 0.93 0.85 1.25 0.87 0.90 0.00 3.67 1.05

time (sec)

N/A 0.270 0.063 0.285 0.223 0.276 0.000 0.311 0.096

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 40 41 75 37 55 0 112 44

N.S.

1 0.93 0.95 1.74 0.86 1.28 0.00 2.60 1.02

time (sec)

N/A 0.272 0.059 0.364 0.205 0.267 0.000 0.330 0.065

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 72 75 135 87 161 0 130 73

N.S.

1 0.94 0.97 1.75 1.13 2.09 0.00 1.69 0.95

time (sec)

N/A 0.304 0.105 0.481 0.211 0.287 0.000 0.325 9.909

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 124 90 239 148 271 0 209 136

N.S.

1 0.94 0.68 1.81 1.12 2.05 0.00 1.58 1.03

time (sec)

N/A 0.353 0.474 0.644 0.220 0.286 0.000 0.390 9.641

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 171 216 164 208 135 719 235 622

N.S.

1 0.87 1.10 0.84 1.06 0.69 3.67 1.20 3.17

time (sec)

N/A 0.760 3.488 1.279 0.222 0.303 0.972 0.452 11.424

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 145 171 138 171 115 539 192 494

N.S.

1 0.88 1.04 0.84 1.04 0.70 3.27 1.16 2.99

time (sec)

N/A 0.637 1.215 0.875 0.214 0.272 0.500 0.377 11.943

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 119 133 96 134 95 371 130 367

N.S.

1 0.89 0.99 0.72 1.00 0.71 2.77 0.97 2.74

time (sec)

N/A 0.531 0.722 0.565 0.216 0.264 0.277 0.349 11.173

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 50 91 73 104 128 0 125 110

N.S.

1 0.91 1.65 1.33 1.89 2.33 0.00 2.27 2.00

time (sec)

N/A 0.270 0.172 0.425 0.296 0.270 0.000 0.312 10.119

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 64 48 57 108 120 0 78 77

N.S.

1 0.88 0.66 0.78 1.48 1.64 0.00 1.07 1.05

time (sec)

N/A 0.423 0.105 0.533 0.210 0.269 0.000 0.431 9.945

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 87 103 122 147 113 0 192 175

N.S.

1 0.84 0.99 1.17 1.41 1.09 0.00 1.85 1.68

time (sec)

N/A 0.448 0.208 0.596 0.228 0.267 0.000 0.432 10.310

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 99 130 188 178 157 0 325 274

N.S.

1 0.77 1.01 1.46 1.38 1.22 0.00 2.52 2.12

time (sec)

N/A 0.451 0.244 0.666 0.215 0.273 0.000 0.494 12.925

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 109 156 250 207 197 0 461 370

N.S.

1 0.71 1.01 1.62 1.34 1.28 0.00 2.99 2.40

time (sec)

N/A 0.465 0.338 0.901 0.208 0.315 0.000 0.465 14.456

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 123 181 312 238 237 0 597 466

N.S.

1 0.69 1.01 1.74 1.33 1.32 0.00 3.34 2.60

time (sec)

N/A 0.473 0.714 1.227 0.207 0.319 0.000 0.620 14.952

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 121 86 157 182 155 530 283 177

N.S.

1 0.90 0.64 1.17 1.36 1.16 3.96 2.11 1.32

time (sec)

N/A 0.376 1.072 1.533 0.303 0.318 1.819 0.440 0.218

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 95 70 135 158 129 418 230 156

N.S.

1 0.90 0.67 1.29 1.50 1.23 3.98 2.19 1.49

time (sec)

N/A 0.341 0.323 1.217 0.207 0.305 0.955 0.443 0.155

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 71 53 113 126 115 313 172 126

N.S.

1 0.91 0.68 1.45 1.62 1.47 4.01 2.21 1.62

time (sec)

N/A 0.321 0.169 0.677 0.212 0.298 0.477 0.408 9.622

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 47 36 94 84 94 151 116 81

N.S.

1 0.92 0.71 1.84 1.65 1.84 2.96 2.27 1.59

time (sec)

N/A 0.250 0.061 0.353 0.202 0.255 0.230 0.345 11.211

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 74 68 96 73 77 0 289 100

N.S.

1 0.91 0.84 1.19 0.90 0.95 0.00 3.57 1.23

time (sec)

N/A 0.287 0.093 0.343 0.206 0.281 0.000 0.316 0.097

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 48 102 52 89 0 228 63

N.S.

1 0.92 0.77 1.65 0.84 1.44 0.00 3.68 1.02

time (sec)

N/A 0.297 0.089 0.461 0.224 0.285 0.000 0.342 0.089

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 37 61 47 49 0 82 36

N.S.

1 1.00 0.86 1.42 1.09 1.14 0.00 1.91 0.84

time (sec)

N/A 0.263 0.035 0.353 0.212 0.262 0.000 0.350 9.617

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 97 95 192 123 242 0 158 112

N.S.

1 0.92 0.90 1.83 1.17 2.30 0.00 1.50 1.07

time (sec)

N/A 0.331 0.178 0.555 0.208 0.290 0.000 0.372 9.607

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 151 151 292 185 353 0 237 172

N.S.

1 0.93 0.93 1.80 1.14 2.18 0.00 1.46 1.06

time (sec)

N/A 0.383 0.456 0.843 0.214 0.290 0.000 0.492 9.839

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 205 238 186 284 155 1042 273 711

N.S.

1 0.89 1.03 0.81 1.23 0.67 4.51 1.18 3.08

time (sec)

N/A 0.923 4.390 1.728 0.217 0.311 1.349 0.539 11.391

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 179 183 152 232 135 823 217 584

N.S.

1 0.90 0.92 0.76 1.16 0.68 4.12 1.08 2.92

time (sec)

N/A 0.777 1.518 1.196 0.208 0.288 0.727 0.638 12.215

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 151 146 120 199 111 588 165 451

N.S.

1 0.95 0.92 0.75 1.25 0.70 3.70 1.04 2.84

time (sec)

N/A 0.686 0.980 0.823 0.214 0.286 0.390 0.556 11.030

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 81 82 117 167 173 0 147 234

N.S.

1 0.89 0.90 1.29 1.84 1.90 0.00 1.62 2.57

time (sec)

N/A 0.324 0.215 0.536 0.297 0.274 0.000 0.658 11.809

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 72 121 86 164 167 0 93 140

N.S.

1 1.04 1.75 1.25 2.38 2.42 0.00 1.35 2.03

time (sec)

N/A 0.427 6.897 0.472 0.315 0.301 0.000 0.337 9.985

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 101 94 93 188 188 0 146 113

N.S.

1 0.94 0.88 0.87 1.76 1.76 0.00 1.36 1.06

time (sec)

N/A 0.503 0.123 0.450 0.224 0.251 0.000 0.347 11.828

[next] [prev] [prev-tail] [front] [up]